Art Of Theory Proving - Angle Bisector Theorem No.2